Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
441	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
442	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
443	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
444	BRICS Basic Research in Computer Science BRICS RS-97-6 Danvy & Schultz: Lambda Dropping Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 09:12:44 Lambda calculus Recursion Lambda lifting Closure Fold Free variables and bound variables Parameter Blocks Software engineering Computing Subroutines
445	Math. Struct. in Comp. Science 20(1), 2010 Channel Abstractions for Network Security† M I C H E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit` a Ca’ Foscari, Venice. Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-12-01 08:49:54 Computer science Lambda calculus Mathematics Π-calculus Theoretical computer science Applied mathematics Computability theory
446	DIKU Rapport 88/21, OctoberA Blond Primer Olivier Danvy & Karoline Malmkjær DIKU – University of Copenhagen Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2002-06-01 03:25:57 Control flow Lisp programming language Functional languages Knowledge representation Object-oriented programming Reification Lisp Eval Lambda calculus Software engineering Computing Computer programming
447	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-03-26 05:31:12 Monad Computer programming Computing Lambda calculus Software engineering Normalisation by evaluation
448	OCC Programming Joachim Breitner Prelude Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Subroutines Functional programming Scripting languages Lambda calculus Data types Python Variable Apply Parameter Software engineering Computer programming Computing
449	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
450	The Effectiveness of Flow Analysis for Inlining∗ J. Michael Ashley University of Kansas Snow Hall 415 Lawrence, Kansas 66045 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Theoretical computer science Inline expansion Computability theory Models of computation Compiler optimization Lambda calculus Data-flow analysis Function Software engineering Computer programming Computing

UPDATE